Analysis of slope - parametric hybrid
نویسندگان
چکیده
This paper addresses the analysis of slope-parametric hybrid automata: nding conditions on the slopes of the automaton variables, for some safety property to be veriied. The problem is shown decidable in some practical situations (e.g. nding the running speeds of tasks in a real time application, for all tasks to respect their deadlines). The resolution technique generalizes polyhedral-based symbolic analysis and it involves reasoning about polyhedra with parametric shapes.
منابع مشابه
Task-System Analysis Using Slope-Parametric Hybrid Automata
Slope-parametric hybrid automata (SPHA) are hybrid automata whose variables can have parametric slopes. SPHA are useful, in particular, for modeling task-control systems in which the task speeds can be adjusted for meeting some safety requirement. In this paper, we present an example of parametric analysis for a simple task system. We introduce a prototype veriication tool that fully automates ...
متن کاملAnalysis of slope - parametric hybrid automataFr
This paper addresses the analysis of slope-parametric hybrid automata: nding conditions on the slopes of the automaton variables, for some safety property to be veriied. The problem is shown decidable in some practical situations (e.g. nding the running speeds of tasks in a real time application, for all tasks to respect their deadlines). The resolution technique generalizes polyhedral-based sy...
متن کاملThermoeconomic Analysis and Parametric Study of Geothermal and Biomass Source ORC, Dual Fluid and Hybrid Power Plants
In this paper, we have continued doing a research project which had done previously. Three types of power plants include an Organic Rankine Cycle (ORC), a Dual-Fluid-Hybrid (DFH) and a single-fluid hybrid-fueled (HYB); were re-modeled. After model validation, thermodynamic studies and exergy analysis were extended for the defined cases using the first and second laws of thermodynamics. Then the...
متن کاملPREDICTION OF SLOPE STABILITY STATE FOR CIRCULAR FAILURE: A HYBRID SUPPORT VECTOR MACHINE WITH HARMONY SEARCH ALGORITHM
The slope stability analysis is routinely performed by engineers to estimate the stability of river training works, road embankments, embankment dams, excavations and retaining walls. This paper presents a new approach to build a model for the prediction of slope stability state. The support vector machine (SVM) is a new machine learning method based on statistical learning theory, which can so...
متن کاملParametric optimization of cylindrical grinding process through hybrid Taguchi method and RSM approach using genetic algorithm
The present investigation proposes a hybrid technique: Taguchi method, response surface methodology (RSM) and genetic algorithm (GA), to analyze, model and predict vibration and surface roughness in traverse cut cylindrical grinding of aluminum alloy. Experiments have been conducted as per L9 orthogonal array of Taguchi methodology using several levels of the grinding parameters. Analysis of va...
متن کامل